An introduction to mathematical logic and type theory - to truth through proof
- Författare
- Peter Bruce Andrews
- (Peter B. Andrews., Includes bibliographical references (p. 371-380) and index)
- Genre
- Ej skönlitteratur, Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Kluwer Academic Publishers | cop. 2002 | Nederländerna, Dordrecht, Boston | xviii, 390 sidor. ill. 25 cm. | |
| Academic Press | 1986 | USA, Orlando | xv, 304 sidor. |